I believe the best place to add a test here is to add // ok lines in the class A4 in js-native-members.scala at
https://github.com/lampepfl/dotty/blob/38ba6e18cebb3b17512da4b327406b6a8c6656d5/tests/neg-scalajs/js-native-members.scala#L54-L58

I believe the best place to add a test here is to add // ok lines in the class A4 in js-native-members.scala at

Added the test.

Apparently the latest changes cause several other failures. It seems that the offset of other errors in the files are displaced. Perhaps the latest changes cause an overall displacement of all the offsets in the file?

Maybe try with the version that @sjrd proposed

@nicolasstucki position changes at js-native-members.check were expected and the other ones were most likely caused by the fact that we were pointing at with instead of the full type tree. Should be good now, what you think?

Thank you @tgodzik